topologically closed set

閉集